A Partial Specification Driven Compositional Testing Method
نویسندگان
چکیده
We present a testing framework using a compositional approach to generate and execute test cases. Test cases are generated and combined with respect to a partial specification expressed as a set of requirements and elementary test cases. These approach and framework are supported by a prototype tool presented here. The framework is presented here in its LTL-like and regular expressions applications, besides other specification formalisms can be added.
منابع مشابه
A Compositional Testing Framework Driven by Partial Specifications
We present a testing framework using a compositional approach to generate and execute test cases. Test cases are generated and combined with respect to a partial specification expressed as a set of requirements and elementary test cases. These approach and framework are supported by a prototype tool presented here. The framework is presented here in its LTL-like application, besides other speci...
متن کاملA Framework for Partial Data Flow Analysis
Although data pow analysis was first developed for use in compilers, i t s usefulness is now recognized in many software tools. Because of its compiler origins, the computation of data pow for software tools is based on the traditional exhaustive data flow framework. However, although this framework is useful for computing data pow for compilers, it is not the most appropriate for sofsware tool...
متن کاملContext-Driven Hypertext Specification
The aim of the paper is the introduction of a compositional methodology for specifying context-driven hypertexts, that is the possibility to filter the available -usually too richknowledge and personalize the hypertext specification according to the notion of context. We use a methodology and a context model, recently proposed in the database literature, to tailor data on the basis of some pred...
متن کاملCompositional Symbolic Execution through Program Specialization
Scalability is a major challenge in symbolic execution. The large number of paths that need to be explored and the large size of the constraints that must be carried often compromise the effectiveness of symbolic execution for software testing in practice. Compositional symbolic execution aims to alleviate these scalability issues by executing the methods of a program separately, stowing their ...
متن کاملCompositional Design of RT Systems: A Conceptual Basis for Specification of Linking Interfaces
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the communication linkages, that are needed to communicate value and temporal information across the components from which the aggregate system results. This paper addresses compositional design of distributed Real-Time (RT) sy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007